LinkingPark: An automatic semantic table interpretation system

In this paper, we present LinkingPark, an automatic semantic annotation system for tabular data to knowledge graph matching. LinkingPark is designed as a modular framework which can handle Cell-Entity Annotation (CEA), Column-Type Annotation (CTA), and Columns-Property Annotation (CPA) altogether. It is built upon our previous SemTab 2020 system, which won the 2nd prize among 28 different teams after four rounds of evaluations. Moreover, the system is unsupervised, stand-alone, and flexible for multilingual support. Its backend offers an efficient RESTful API for programmatic access, as well as an Excel Add-in for ease of use. Users can interact with LinkingPark in near real-time, further demonstrating its efficiency.     

Terrain-Specific: Contemporary Landscape Architecture in Canada

The Canadian landscape has typically captured a global imaginary of a pristine wild, but how might its urban designed landscapes be distinctly understood? Foregrounded by the landscape transformations accelerated by climate change, the book Innate Terrain: Canadian Landscape Architecture, edited by Professor Alissa North from the University of Toronto, highlights landscape architecture projects situated on the unique Canadian terrain. Providing further provocation on Canadian landscape architecture, Innate Terrain seeks to fill the literary gap on contemporary landscape perspectives, distinguishing Canadian landscape architecture from global practice, and particularly, its well-documented American counterpart. Landscape architecture in the Canadian context has evolved and established its own distinct identity, one imbued with national and local sensitivities. Informed by diverse environmental and cultural contexts, Canadian-designed landscapes reflect and refer to the prevailing ecosystems of Canada’s innate terrain. Contrary to the preceding International Style, landscape architecture projects in Canada have adopted the ethos of Critical Regionalism in the second half of the 20th century. Contemporary Canadian practitioners are designing landscapes that are deeply informed by their surrounding geographical context while emphasizing cultural specificity. Central to this cultural specificity, addressed by a new generation of landscape architects, is the increasing recognition of Indigenous Traditional Knowledge within the discipline. Canadian landscape architects have collaborated with First Nations, Inuit, and Métis communities, including the keepers of this knowledge, to develop land management strategies and design landscape interventions.     

Trajectories of knowledge economy in SSA and MENA countries

In the first critical assessment of knowledge economy dynamic paths in Africa and the Middle East, but for a few exceptions, we find overwhelming support for diminishing cross-country disparities in knowledge-based economy dimensions. The paper employs all the four components of the World Bank's Knowledge Economy Index (KEI): economic incentives, innovation, education, and information infrastructure. The main finding suggests that sub-Saharan African (SSA) and the Middle East and North African (MENA) countries with low levels of KE dynamics and catching-up their counterparts of higher KE levels. We provide the speeds of integration and time necessary to achieve full (100%) integration. Policy implications are also discussed.     

Model checking temporal knowledge and commitments in multi-agent systems using reduction

Though modeling and verifying Multi-Agent Systems (MASs) have long been under study, there are still challenges when many different aspects need to be considered simultaneously. In fact, various frameworks have been carried out for modeling and verifying MASs with respect to knowledge and social commitments independently. However, considering them under the same framework still needs further investigation, particularly from the verification perspective. In this article, we present a new technique for model checking the logic of knowledge and commitments (CTLKC⁺). The proposed technique is fully-automatic and reduction-based in which we transform the problem of model checking CTLKC⁺ into the problem of model checking an existing logic of action called ARCTL. Concretely, we construct a set of transformation rules to formally reduce the CTLKC⁺ model into an ARCTL model and CTLKC⁺ formulae into ARCTL formulae to get benefit from the extended version of NuSMV symbolic model checker of ARCTL. Compared to a recent approach that reduces the problem of model checking CTLKC⁺ to another logic of action called GCTL¹, our technique has better scalability and efficiency. We also analyze the complexity of the proposed model checking technique. The results of this analysis reveal that the complexity of our reduction-based procedure is PSPACE-complete for local concurrent programs with respect to the size of these programs and the length of the formula being checked. From the time perspective, we prove that the complexity of the proposed approach is P-complete with regard to the size of the model and length of the formula, which makes it efficient. Finally, we implement our model checking approach on top of extended NuSMV and report verification results for the verification of the NetBill protocol, taken from business domain, against some desirable properties. The obtained results show the effectiveness of our model checking approach when the system scales up.     

抗真菌蛋白Rs-AFP2基因定点突变及其对大肠杆菌中表达的影响

为了研究遗传密码子对表达调控的影响,利用PCR重叠延伸法,对萝卜抗真菌蛋白Rs-AFP2基因编码序列区的部分核苷酸进行沉默突变,构建突变体Rs-AFPm.序列分析表明,PCR产物全长240bp,有一个阅读框,编码的蛋白由29个氨基酸的信号肽和51个氨基酸的抗真菌蛋白组成.突变体与突变前的Rs-AFP2基因相比,在编码区第3号氨基酸Lys相差一个碱基(TTG→TTA),第5号氨基酸Gln相差一个碱基(CAG→CAA),第6号稀有密码子Arg相差两个碱基(CAG→CGA).重新合成引物,将切除信号肽的Rs-AFP2基因和Rs-AFPm基因与原核表达载体pET-21b(+)分别重组到大肠杆菌BL21菌株.IPTG诱导后,二者均得到了表达.软件分析显示,突变前pETAFPo表达产物占全菌蛋白的3%,突变后pETAFPm的表达产物占全菌蛋白含量的8%;表达蛋白主要以包涵体的形式存在,包涵体经超声波破碎后,蛋白质复性,抑菌结果表明,pETAFPm表达产物的抑菌半径大于pETAFP2表达产物的抑菌半径.这些都说明改造后的Rs-AFPm基因与Rs-AFP2基因相比,已有效地提高表达量.     

抗乙肝病毒表面抗原PreS1(20-47)的单链抗体在转基因烟草根分泌物中的初步表达

为探索利用植物根分泌表达重组蛋白的可行性，构建了含有抗乙肝病毒表面抗原PreS1(20—47)单链抗体(ScFv)基因的表达载体。该ScFv基因转化烟草后在烟草根部细胞的细胞质和内质网中获得表达。实验结果表明，5’端融合ER导向信号肽的重组ScFv可通过根分泌表达。     

R-Calculus for ELP:An Operational Approach to Knowledge Base Maintenance

Sme concepts used in knowledge base maintenace,such as sequence,new law,user‘s rejection and reconstructions of a knowledge base,are first introduced,and then a framework for extended logic programming(ELP)is given,where an extended logic program is equivalent to a knowledge base.A transition system called R-calculus for ELP is provided.For a given knowledge base and a user‘s rejection,the R-calculus for ELP will deduce best revisions of the base.The soundness and the completeness of the R-calculus for ELP are proved,and the R-calculus for ELP is implemented in Prolog.In addition,the research is compared with other relevant work.     

大规模数据库中的知识获取

一、前言数据是知识的潭泉,拥有大量的数据与拥有许多有用的知识完全是两回事.为了有效地利用大量的公共数据,必须更好地理解这些数据,并从其中快速、准确地发现知识.这里所说的知识是指大量数据中存在的规律性(r egularity)或不同属性值之间所存在的[I F THEN〕规则.将所获取的知识附加于仅由事实数据(fact data)构成的传统数据库上,既可强化数据库的查询能力,又可给数据库提供推理能力,